Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

Augmenting ATL with strategy contexts

Laroussinie, François, Markey, Nicolas
Журнал:
Information and Computation
Рік:
2015
Мова:
english
Файл:
PDF, 609 KB
english, 2015
3

Mu-calculus path checking

Nicolas Markey, Philippe Schnoebelen
Журнал:
Information Processing Letters
Рік:
2006
Мова:
english
Файл:
PDF, 102 KB
english, 2006
4

Model checking restricted sets of timed paths

Nicolas Markey, Jean-François Raskin
Журнал:
Theoretical Computer Science
Рік:
2006
Мова:
english
Файл:
PDF, 429 KB
english, 2006
5

Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past

Nicolas Markey
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2002
Мова:
english
Файл:
PDF, 283 KB
english, 2002
6

Past is for free: on the complexity of verifying linear temporal properties with past

Nicolas Markey
Журнал:
Acta Informatica
Рік:
2004
Мова:
english
Файл:
PDF, 849 KB
english, 2004
7

Robust safety of timed automata

Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin
Журнал:
Formal Methods in System Design
Рік:
2008
Мова:
english
Файл:
PDF, 904 KB
english, 2008
8

Improved undecidability results on weighted timed automata

Patricia Bouyer, Thomas Brihaye, Nicolas Markey
Журнал:
Information Processing Letters
Рік:
2006
Мова:
english
Файл:
PDF, 181 KB
english, 2006
9

On termination and invariance for faulty channel machines

Bouyer, Patricia, Markey, Nicolas, Ouaknine, Joël, Schnoebelen, Philippe, Worrell, James
Журнал:
Formal Aspects of Computing
Рік:
2012
Мова:
english
Файл:
PDF, 411 KB
english, 2012
10

On the expressiveness of TPTL and MTL

Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
Журнал:
Information and Computation
Рік:
2010
Мова:
english
Файл:
PDF, 369 KB
english, 2010
11

Shrinking timed automata

Sankur, Ocan, Bouyer, Patricia, Markey, Nicolas
Журнал:
Information and Computation
Рік:
2014
Мова:
english
Файл:
PDF, 789 KB
english, 2014
12

Lower-bound-constrained runs in weighted timed automata

Bouyer, Patricia, Larsen, Kim G., Markey, Nicolas
Журнал:
Performance Evaluation
Рік:
2014
Мова:
english
Файл:
PDF, 1.21 MB
english, 2014
13

Quantitative analysis of real-time systems using priced timed automata

Bouyer, Patricia, Fahrenberg, Uli, Larsen, Kim G., Markey, Nicolas
Журнал:
Communications of the ACM
Рік:
2011
Мова:
english
Файл:
PDF, 2.36 MB
english, 2011
19

Robust reachability in timed automata and games: A game-based approach

Bouyer, Patricia, Markey, Nicolas, Sankur, Ocan
Журнал:
Theoretical Computer Science
Рік:
2015
Мова:
english
Файл:
PDF, 1.35 MB
english, 2015
20

On the semantics of Strategy Logic

Bouyer, Patricia, Gardy, Patrick, Markey, Nicolas
Журнал:
Information Processing Letters
Рік:
2016
Мова:
english
Файл:
PDF, 275 KB
english, 2016
22

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 ||

Fränzle, Martin, Markey, Nicolas
Рік:
2016
Мова:
english
Файл:
PDF, 10.48 MB
english, 2016
30

Nash Equilibria in Symmetric Graph Games with Partial Observation

Bouyer, Patricia, Markey, Nicolas, Vester, Steen
Журнал:
Information and Computation
Рік:
2016
Мова:
english
Файл:
PDF, 535 KB
english, 2016
32

Average-energy games

Bouyer, Patricia, Markey, Nicolas, Randour, Mickael, Larsen, Kim G., Laursen, Simon
Журнал:
Acta Informatica
Рік:
2016
Мова:
english
Файл:
PDF, 932 KB
english, 2016
34

Compositional synthesis of state-dependent switching control

Le Coënt, Adrien, Fribourg, Laurent, Markey, Nicolas, De Vuyst, Florian, Chamoin, Ludovic
Журнал:
Theoretical Computer Science
Рік:
2018
Мова:
english
Файл:
PDF, 2.12 MB
english, 2018
37

Dependences in Strategy Logic

Gardy, Patrick, Bouyer, Patricia, Markey, Nicolas
Журнал:
Theory of Computing Systems
Рік:
2020
Мова:
english
Файл:
PDF, 8.67 MB
english, 2020